
\functions {
	int a; int b; int c; int d;
}

\problem {
	a + b <= 5 & a >= 0 & a - 2*b <= -20
	->
	false
}
